«Les gens disent encore et encore que la philosophie ne progresse pas vraiment, que nous sommes toujours occupés avec les mêmes problèmes philosophiques que les Grecs. Mais les gens qui disent cela ne comprennent pas pourquoi il doit en être ainsi. C’est parce que notre langue est restée la même et continue de nous séduire à poser les mêmes questions. Tant qu’il continue à y avoir un verbe qui ressemble à s’il fonctionne de la même manière que de manger et (...) de boire, tant que nous avons encore les adjectifs 'identiques', 'faux', 'false', 'possible', tant que nous continuons à parler d’une rivière du temps, d’une étendue d’espace, etc., etc., les gens continueront à trébucher sur les mêmes difficultés déroutantes et se retrouveront à regarder quelque chose qui ne semble pas capable de se dégager. Et qui plus est, cela satisfait un désir pour le transcendant, parce que, dans la mesure où les gens pensent qu’ils peuvent voir les ‘«limites de la compréhension humaine », ils croient bien sûr ce ils peuvent voir au-delà de ceux-ci. Cette citation est de Ludwig Wittgenstein qui a redéfini la philosophie il ya 70 ans (mais la plupart des gens n’ont pas encore de le savoir). Dennett, bien qu’il ait été un philosophe pendant une quarantaine d’années, est l’un d’entre eux. Il est également curieux que lui et son antagoniste principal, John Searle, étudié sous les célèbres Wittgensteiniens (Searle avec John Austin, Dennett avec Gilbert Ryle) mais Searle plus ou moins obtenu le point et Dennett n’a pas, (bien qu’il est étirer les choses à appeler Searle ou Ryle Wittgensteinians). Dennett est un déterministe difficile (bien qu’il essaie de se faufiler la réalité dans la porte arrière), et peut-être cela est dû à Ryle, dont le célèbre livre "Le concept de l’esprit" (The Concept of Mind) (1949) continue d’être réimprimé. Ce livre a fait un excellent travail d’exorciser le fantôme, mais il a quitté la machine. Dennett aime faire les erreurs Wittgenstein, Ryle (et beaucoup d’autres depuis) ont exposé en détail. Notre utilisation des mots conscience, choix, liberté, intention, particule, pensée, détermine, vague, cause, arrivé, événement (et ainsi de suite sans fin) sont rarement une source de confusion, mais dès que nous quittons la vie normale et entrer dans la philosophie (et toute discussion détachée de l’environnement dans lequel la langue a évolué-c’est-à-dire le contexte exact dans lequel les mots avaient un sens) chaos règne. Comme la plupart, Dennett n’a pas un cadre cohérent - que Searle a appelé la structure logique de la rationalité. J’ai développé sur ce considérablement depuis que j’ai écrit cette revue et mes articles récents montrent en détail ce qui ne va pas avec l’approche de Dennett à la philosophie, que l’on pourrait appeler Scientism sur les stéroïdes. Permettez-moi de terminer par une autre citation de Wittgenstein-- «L’ambition est la mort de la pensée. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systèmes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2020) et autres. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified (or absolutely warranted), i.e., justified to a degree that entails their truth and precludes their falsity. Though rationalist infallibilism is indisputably running its course, adherence to at least one of the two species of infallible a priori justification refuses to disappear from mainstream epistemology. Among others, Putnam (1978) still professes the a priori infallibility of some category (i) propositions, while Burge (...) (1986, 1988, 1996) and Lewis (1996) have recently affirmed the a priori infallibility of some category (ii) propositions. In this paper, I take aim at rationalist infallibilism by calling into question the a priori infallibility of both analytic and synthetic propositions. The upshot will be twofold: first, rationalist infallibilism unsurprisingly emerges as a defective epistemological doctrine, and second, more importantly, the case for the a priori infallibility of one or both categories of propositions turns out to lack cogency. (shrink)

Earthbodies describes how our bodies are open circuits to a sensual magic and planetary care that when closed off leads to disastrous detours, such as illness, ...

This essay discusses how our traditional ethics may harbor assumptions that place humans in a position in which overt violence towards animals is an almost inevitable outcome since their formulation involves violence towards ourselves and our animal fellows in our cutting our embodied ties with them. The essay explores Derrida’s Animal that Therefore, I Am, in its detailing of the two discourses within European intellectual history of those who felt they were “above” animals and were not addressed by them versus (...) those who could acknowledge that animals do address us. Derrida also cites the “lyconomy” of this tradition that brandishes the image of the “wolf” within us as a streak of rapacious violence that we can only fight with violence, thus projecting onto the wolf a false identity to justify our own demons of violence. Merleau-Ponty’s notions of embodiment further this idea that we are enmeshed with animals in a basic affective, perceptual and visceral way and that to ignore this interweaving of lives is to do violence to ourselves as well as violence towards them. I then cite ethologists for evidence that wolves are one of the most social, non-violent animals on the planet and detail how two million were slaughtered in the name of eradicating an “evil” being. Such behavior on our part I call “speciocide,” as heinous as genocide. Finally, phenomenology, as one particular philosophical approach, may have a critical edge in helping us to see our animal fellows more clearly, to understand them better, and discern our truer moral obligations to them. (shrink)

Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth. I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and stability, and draw some lessons for the soundness of its conception of truth.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified, i.e., justified in a way that is truth-entailing. In this paper, I examine the second thesis of rationalist infallibilism, what might be called ‘synthetic a priori infallibilism’. Exploring the seemingly only potentially plausible species of synthetic a priori infallibility, I reject the infallible justification of so-called self-justifying propositions.

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue that, within the constraints (...) of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

The superassertability theory of truth, inspired by Crispin Wright (1992, 2003), holds that a statement is true if and only if it is superassertable in the following sense: it possesses warrant that cannot be defeated by any improvement of our information. While initially promising, the superassertability theory of truth is vulnerable to a persistent difficulty highlighted by James Van Cleve (1996) and Terrence Horgan (1995) but not properly fleshed out: it is formally illegitimate in a similar sense that unsophisticated epistemic (...) theories of truth are widely acknowledged to be. Sustained analysis reveals that the unrestricted formal legitimacy argument is firmly grounded in first person conceivability evidence. (shrink)

Linguistic competence, in general terms, involves the ability to learn, understand, and speak a language. The nativist view in the philosophy of linguistics holds that the principal foundation of linguistic competence is an innate faculty of linguistic cognition. In this paper, close scrutiny is given to nativism's fundamental commitments in the area of metaphysics. In the course of this exploration it is argued that any minimally defensible variety of nativism is, for better or worse, married to two theses: linguistic competence (...) is grounded in a faculty of linguistic cognition that is (i) embodied and (ii) whose operating rules are represented in the brains of human language users. (shrink)

The weak deflationist about truth is committed to two theses: one conceptual, the other ontological. On the conceptual thesis (what might be called a ‘triviality thesis’), the content of the truth predicate is exhausted by its involvement in some version of the ‘truth-schema’. On the ontological thesis, truth is a deflated property of truth bearers. In this paper, I focus on weak deflationism’s ontological thesis, arguing that it generates an instability in its view of truth: the view threatens to collapse (...) into either that of strong deflationism (i.e., truth is not a property) or that of some form of inflationism (i.e., truth is a substantial property). The instability objection to weak deflationism is sketched by way of a truth-property ascription dilemma, the two horns of which its proponent is at pains to circumvent. (shrink)

Cyborgs are ongoing becomings of a doubly “in-between” temporality of humans and machines. Materially made from components of both sorts of beings, cyborgs gain increasing function through an interweaving in which each alters the other, from the level of “neural plasticity” to software updates to emotional breakthroughs of which both are a part. One sort of temporal in-between is of the progressive unfolding of a deepening becoming as “not-one-not-two” and the other is a “doubling back” of time into itself in (...) which moments that were once disparate are conjoined or enjambed. Tracing the experience of Michael Chorost during a four year period of coming to terms with his cochlear implant, related in Rebuilt: How Becoming Part Computer Made Me More Human, the essay pinpoints shifts in awareness, perceptual belief, and being-with others that unfold within the in-between of person and machine. (shrink)

This essay details wolves’ sense of their surround in terms of how wolves’ perceptual acuities, motor abilities, daily habits, overriding concerns, network of intimate social bonds and relationship to prey gives them a unique sense of space, time, belonging with other wolves, memorial sense, imaginative capacities, dominant emotions (of affection, play, loyalty, hunger, etc.), communicative avenues, partnership with other creatures, and key role in ecological thriving. Wolves are seen to live within a vast sense of aroundness and closeness to aspects (...) of their surround (compared to humans), a highly charged intimacy and cooperation with other wolves, and a caring and non-aggressive attitude that goes beyond the pack, despite their loyalty and defense of territory. The cultural myths and history that absurdly demonize the wolf are explored in their self-righteous attempts to exterminate wolves, which I call “speciocide” and probe for projections of human viciousness. The supposed rapaciousness of wolves is re-examined by expanding Barry Lopez’s sense of the silent dialogue of death with other creatures to be reconsidered as a kind of respect, assertion of vitality, recognition or mortality and cooperation. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

A simple operating principle (similar to a combination of a pottery wheel and a catapult or, simply, the weapon used by David to slay Goliath) coupled with the success of some moderate engineering challenges may allow for the transmission of a carrier wave from Earth to Mars in less than one second! This paper also directly addresses the controversy of light speed variance/invariance (which has arisen from the “wave/particle nature of light” debate) by referencing Joseph A. Rybczyk’s 2012 paper, “Lunar (...) Laser Evidence of Light Speed Variance”. (shrink)

The critique of tourism as being only a distanced, detached, and consumerist passing through of foreign landscapes and cultures isdisputed in this essay. The idea that tourism necessarily fits the paradigm of inauthenticity as the tranquilized and alienated hopping from spot to spot in prepackaged, superficial presentations is contrasted with another sense of tourism as drawing upon the potential power of the glance to disrupt the everyday, to focus on the particular, to be surprised by the new, and to bodily (...) join up with the rhythms of place being as shifting. Authenticity is seen in both Heidegger and Merleau-Ponty to be primarily about a greater bodily awareness of surround and transformation of the self as an ongoing process of “selving” that yields a more singular sense of who one is in relationship to places and their interconnectedness. To gain a better sense of oneself in one own being or uniqueness is to gain more meaning through emplacement within the surround. The glance at a new world can open up an “interplace” which expands anddeepens the sense of who we are in the interconnection and reverberations among places. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

Beauchamp and Childress created the ‘four principle’ approach to help clinicians analyse and resolve ethical dilemmas they may encounter when working. In this project, I will consider whether autonomy ought to have a privileged position within the four principles and if the four principles can apply outside the medical sphere.

This paper is part of a book symposium for L. A. Paul (2014) Transformative Experience (OUP).

Many claims about conceptual matters are often represented as, or inferred from, claims about the meaning, reference, or mastery, of words. But sometimes this has led to treating conceptual analysis as though it were nothing but linguistic analysis. We canvass the most promising justifications for moving from linguistic premises to substantive conclusions. We show that these justifications fail and argue against current practice (in metaethics and elsewhere), which confuses an investigation of a word’s meaning, reference, or competence conditions with an (...) analysis of some concept or property associated with that word. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.